Formal Specifications of Computer-Based Systems

The IFIP TC10 Working Group 10.1 Computer Aided Systems Theory Committee Meeting at the Vienna University of Technology on the 30 September 1999, resulted in expressing the interest to support a joint workshop with the IEEE Computer Society TC-ECBS focused on Formal Specifications of Computer-Based Systems (FS CBS) owing to a substantial overlap in this research domain. Franz Pichler, the founder of the IFIP WG10.1, and Charles Rattray, the IFIP WG10.1 chair, delegated Miroslav Sveda, a member of both WG10.1 and TC-ECBS, to act as a contact person in this activity. The ECBS Executive Committee has welcome and greatly supported origination and implementation of the IEEE/IFIP Joint Workshops on FS CBS as Formal Specifications Working Group Sessions following annual ECBS Conferences.